and engineering - PDFSEARCH.IO - Document Search Engine

and engineering
Results: 219165

#	Item
11	Learning Static Constraints for Domain Modeling from Training Plans Rabia Jilani School of Computing and Engineering University of Huddersfield United Kingdom Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:30 Computing Software engineering Notation Systems engineering Automated planning and scheduling Planning Domain Definition Language Conceptual model Object Process Methodology Prolog
12	Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematical logic Theoretical computer science Mathematics Formal methods Boolean algebra Temporal logic Edsger W. Dijkstra Predicate transformer semantics Model theory Hoare logic True quantified Boolean formula Linear temporal logic
13	Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software engineering Computing Computer programming Object-oriented programming Method High-level programming languages Functional languages Programming languages Inheritance Method overriding Factory Polymorphism
14	Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign. Add to Reading List Source URL: publish.illinois.edu Language: English - Date: 2016-01-22 19:21:52 Circuit complexity NC Mathematics Theoretical computer science Numerical software Lemmas Numerical linear algebra
15	Poster: Design of Backdoor on Android Devices Junsung Cho, Geumhwan Cho, Sangwon Hyun and Hyoungshick Kim Department of Computer Science and Engineering, Sungkyunkwan University, Republic of Korea Email: {js.cho, geumhwa Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-13 08:11:56 Computing Cyberwarfare Computer security Cryptography Cybercrime Computer network security Backdoor Rootkits Google Play Android Firebase Password
16	Learning gem5 – Part IV gem5 execution model, ISAs, and CPUs Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/ Add to Reading List Source URL: learning.gem5.org Language: English - Date: 2018-09-17 11:50:25 Computer architecture Computing Central processing unit Instruction set architectures Reduced instruction set computer ARM architecture RISC-V System call X86
17	A Personal View of Average-Case Complexity Russell Impagliazzo Computer Science and Engineering UC, San Diego 9500 Gilman Drive La Jolla, CA Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-12-13 09:31:41 Computational complexity theory Complexity classes Analysis of algorithms Mathematical optimization Structural complexity theory P versus NP problem NP Average-case complexity Computational complexity Reduction Randomized algorithm BPP
18	in Knowledge Engineering Reviews, 2001 Synthesis of EÆcient Constraint Satisfaction Programs Stephen J. Westfold and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:59:14 Constraint programming Mathematics Lattice theory Mathematical optimization Applied mathematics Constraint satisfaction Local consistency Semilattice Linear programming Optimization problem Constraint Feasible region
19	Optimization Approaches to Multi-robot Planning and Scheduling Kyle E. C. Booth Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario, Canada Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:20 Artificial intelligence Robotics Machine learning Robot Humanrobot interaction Motion planning Automated planning and scheduling Mobile robot Simultaneous localization and mapping Cognitive robotics Ayorkor Korsah Cloud robotics
20	Evolving Specification Engineering Dusko Pavlovic, Peter Pepper, Doug Smith Email: {dusko,smith}@kestrel.edu, Kestrel Institute and Technische Universit¨ at Berlin Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:29:47 Concurrent computing Liveness Temporal logic Safety property Category theory Computation tree logic Morphism Dual Category Natural transformation Mathematics Mathematical logic